A Survey of Paraconsistent Logics
نویسنده
چکیده
A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest’s logic LP, the logic RM3 from the school of relevance logic, da Costa’s logics Cn, Jaśkowski’s logic D2, and Subrahmanian’s logics Pτ . A deontic logic based on the first of these logics will be discussed as well. Moreover, some proposed adaptations of the AGM theory of belief revision to paraconsistent logics will be mentioned.
منابع مشابه
A Comparison of Paraconsistent Description Logics
Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies wh...
متن کاملAnalysis of the paraconsistency in some logics
In Artificial Intelligence, as well as in data base updating or in the design of intelligent agents, it is necessary the use of contradictory information. For that, it is useful to direct our attention to paraconsistent logics. The goal of the present survey is to offer an initial analysis on paraconsistency in some logics like Pac, RM3, Lukasiewicz, G ′ 3.
متن کاملParaconsistent Logic
In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that ther...
متن کاملRecent Results by the Inconsistency - Adaptive Labourers ∗
This paper offers an incomplete survey of recent results on inconsistencyadaptive logics (disregarding results on other adaptive logics). Much attention is paid to the so-called standard format, because it provides most of the required metatheory for adaptive logics that are phrased in this format. Combined adaptive logics are also briefly discussed. Other results briefly reported on concern (i...
متن کاملNegation and Paraconsistent Logics
Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation (¬) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1103.4324 شماره
صفحات -
تاریخ انتشار 2011